Nuprl Lemma : ident_wf 13,42

T:Type, op:(TTT), id:T. Ident(T;op;id  
latex


Upgen algebra 1
Definitions of StatementIdent(T;op;id)
Definitionsx f y, P & Q, Ident(T;op;id), , t  T, x:AB(x)

origin